card-reader punch - German English Dictionary